Une introduction à l’analyse algébrique constructive et à ses applications
نویسنده
چکیده
This text is an extension of lectures notes I prepared for les Journées Nationales de Calcul Formel held at the CIRM, Luminy (France) on May 3-7, 2010. The main purpose of these lectures was to introduce the French community of symbolic computation to the constructive approach to algebraic analysis and particularly to algebraic D-modules, its applications to mathematical systems theory and its implementations in computer algebra systems such as Maple or GAP4. Since algebraic analysis is a mathematical theory which uses different techniques coming from module theory, homological algebra, sheaf theory, algebraic geometry, and microlocal analysis, it can be difficult to enter this fascinating new field of mathematics. Indeed, there are very few introducing texts. We are quickly led to Björk’s books which, at first glance, may look difficult for the members of the symbolic computation community and for applied mathematicians. I believe that the main issue is less the technical difficulty of the existing references than the lack of friendly introduction to the topic, which could have offered a general idea of it, shown which kind of results and applications we can expect and how to handle the different computations on explicit examples. To a very small extent, these lectures notes were planned to fill this gap, at least for the basic ideas of algebraic analysis. Since, we can only teach well what we have clearly understood, I have chosen to focus on my work on the constructive aspects of algebraic analysis and its applications. Key-words: Algebraic analysis, linear systems of partial differential equations, linear functional systems, module theory, homological algebra, constructive algebra, symbolic computation, systems theory, control theory. in ria -0 05 06 10 4, v er si on 1 27 J ul 2 01 0 An introduction to constructive algebraic analysis and its applications i
منابع مشابه
De l’analyse des pratiques à la construction d’un modèle d’évolution des systèmes d’élevage : application à la région Nordeste du Brésil
L’objectif de cette étude a été d’analyser les évolutions des activités d’élevage à l’échelle d’une région de vastes dimensions, qu’elle corresponde à une réalité administrative ou agro-écologique, en intégrant les dimensions techniques, économiques, sociales et spatiales qui interviennent dans les processus décisionnels. Pour identifier et interpréter le changement, les auteurs se sont intéres...
متن کاملCorrection de formulaires basée sur des machines pondérées à états finis Correction de formulaires basée sur des machines pondérées à états finis
Résumé : Pour être rendue plus démocratique, surtout dans les applications industrielles, la reconnaissance de caractères manuscrits a besoin d’atteindre de très hauts taux de reconnaissance. Pour cela, une correction dédiée à un problème particulier le permet de manière efficace, en modélisant l’information a priori disponible. Dans ce papier, nous présentons une méthode complète de compréhens...
متن کاملUne introduction à la convergence d’espaces métriques mesurés
Nous noterons Vǫ(A) le ǫ-voisinage ouvert d’une partie A d’un espace métrique. Une partie A d’un espace métrique X est ǫ-dense si Vǫ(A) = X, i.e. si tout point de x est à distance strictement inférieure à ǫ d’au moins un point de A. Si A et B sont deux parties d’un espace métrique (X, δ), la distance de Hausdorff entre A et B, notée dHau(A,B) (ou dHau, δ(A,B) pour indiquer la dépendance en la d...
متن کاملÀ propos de tomographie algébrique dans le cadre projectif ou torique
On sait le rôle crucial que jouent les transformations du type Radon en géométrie intégrale réelle (tomographie, CAT Scanner). Le principe de ces transformations est bien connu : à une fonction f , disons suffisamment régulière et à support compact dans R, on associe, k étant un entier fixé entre 1 et n−1, la collection de fonctions obtenues par intégration de f sur la collection des sous-espac...
متن کامل